Software engineering - PDFSEARCH.IO - Document Search Engine

Software engineering
Results: 57508

#	Item
431	NATURECAT WI LDLI FEJOURNAL Epi s Add to Reading List Source URL: www.americanhiking.org Language: English - Date: 2016-08-03 16:32:00 Software engineering Computing Computer programming APL IBM software
432	Programming Techniques S.L. Graham, R.L. Rivest Editors Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Abstract data types Mathematics Software engineering Computer programming Analysis of algorithms Asymptotic analysis Binary trees Binomial heap Priority queue Minimum spanning tree Big O notation Heap
433	Automatic Proof and Disproof in Isabelle/HOL Jasmin Christian Blanchette, Lukas Bulwahn, and Tobias Nipkow Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen Abstract. Isabelle/HOL is a popular interactive t Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-21 06:02:19 Theoretical computer science Software engineering Programming language theory Logic in computer science Proof assistants Formal methods Automated theorem proving Isabelle Satisfiability modulo theories ACL2 Curry Logic for Computable Functions
434	University of London Imperial College London of Science, Technology and Medicine Department of Computing Soft Real-time Garbage Collection for Dynamic Dispatch Languages Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-03-11 01:14:17 Software engineering Software Computing Memory management Subroutines Automatic memory management Garbage collection Jikes RVM Computing platforms Reference counting Garbage Write barrier
435	Perl Lesson 1 L415 / L615 FallObtain a copy of Perl • Mac/Unix/Linux: should already be installed • Windows: see, e.g., http://www.perl.org/get.html Add to Reading List Source URL: cl.indiana.edu Language: English - Date: 2015-09-01 13:24:46 Software engineering Computer programming Software Cross-platform software Perl Scripting languages High-level programming languages Comment Entry point Outline of Perl Perl module
436	Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:11 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold FO Haskell features Standard ML
437	PSXseecon Release Notes June 19, 2016, version 3.4 “App crashed Bug” fixed, in cleaning up after the User has closed the application and there is still a SIOC connection to a PC that’s powered off. Instead of inte Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Mathematics Software engineering Computing Type theory Variable Semantically-Interlinked Online Communities Parameter G-code
438	A Quantitative Framework for Software Restructuring Research BYUNG-KYOO KANG1 and JAMES M. BIEMAN2 Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 1999-05-03 14:57:18 Software engineering Computing Software architecture Software metrics Cohesion Coupling Software design Modular programming Modularity Dependence analysis Code reuse
439	In Cabernet Radicals Workshop, October 2002 http://www.wischik.com/lu/research/ New directions in implementing the pi calculus Lucian Wischik, University of Bologna 30th August 2002 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-10-02 04:22:36 Process calculi Theoretical computer science Mathematics Software engineering Formal methods -calculus Join-calculus Lambda calculus Ambient calculus Inverse trigonometric functions Calculus Join-pattern
440	RScheme The Implementation Donovan Kolbly RS Add to Reading List Source URL: www.rscheme.org Language: English - Date: 2014-10-18 11:53:03 Software engineering Computer programming Computing Functional languages Procedural programming languages Cross-platform software Object-oriented programming languages Lisp Readevalprint loop Eval Scheme D

UPDATE